; ModuleID = 'test/demandProveTestOriginal.bc'
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32-n8:16:32"
target triple = "i386-pc-linux-gnu"

define i32 @main() nounwind {
entry:
  %retval = alloca i32
  %0 = alloca i32
  %a = alloca [10 x i32]
  %i = alloca i32
  %sum = alloca i32
  %newindex = alloca i32
  %"alloca point" = bitcast i32 0 to i32
  store i32 0, i32* %i, align 4
  store i32 0, i32* %sum, align 4
  store i32 1, i32* %i, align 4
  br label %bb1

bb:                                               ; preds = %bb1
  %1 = load i32* %i, align 4
  %2 = sub nsw i32 %1, 1
  %3 = getelementptr inbounds [10 x i32]* %a, i32 0, i32 %2
  %4 = load i32* %3, align 4
  %5 = load i32* %sum, align 4
  %6 = add nsw i32 %4, %5
  store i32 %6, i32* %sum, align 4
  %7 = load i32* %i, align 4
  %8 = add nsw i32 %7, 1
  store i32 %8, i32* %i, align 4
  br label %bb1

bb1:                                              ; preds = %bb, %entry
  %9 = load i32* %i, align 4
  %10 = icmp sle i32 %9, 9
  br i1 %10, label %bb, label %bb2

bb2:                                              ; preds = %bb1
  %11 = load i32* %i, align 4
  %12 = add nsw i32 %11, 100
  store i32 %12, i32* %newindex, align 4
  %13 = load i32* %newindex, align 4
  %14 = getelementptr inbounds [10 x i32]* %a, i32 0, i32 %13
  %15 = load i32* %14, align 4
  %16 = load i32* %sum, align 4
  %17 = add nsw i32 %15, %16
  store i32 %17, i32* %sum, align 4
  store i32 0, i32* %0, align 4
  %18 = load i32* %0, align 4
  store i32 %18, i32* %retval, align 4
  br label %return

return:                                           ; preds = %bb2
  %retval3 = load i32* %retval
  ret i32 %retval3
}
